Search Results for 'gate pat'

gate pat published presentations and documents on DocSlides.

Phantom Types for Quantum Programs

by giovanna-bartolotta

Phantom Types for Quantum Programs Coq for Progra...